Modeling the dynamics of concurrent computing systems
نویسندگان
چکیده
منابع مشابه
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description languages), discrete-event simulation, and modeling of communication networks. They consist of concurrent components that communicate using timed signals, that is, sets of (semantically) time-stamped events. The denotationa...
متن کاملTime Estimation Model of Concurrent Computing Systems
We consider an asynchronous system with transitions corresponding to the instructions of a computer system. For each instruction, a runtime is given. We propose a mathematical model, allowing us to construct an algorithm for finding the minimum time of the parallel process with a given trace. We consider a problem of constructing a parallel process which transforms the initial state to given an...
متن کاملModeling Concurrent Systems: Reconfigurable Nets
The aim of this work is the modeling and verification of concurrent systems subject to dynamic changes using extensions of Petri nets. We introduce the reconfigurable nets. The expressiveness of reconfigurable nets and Petri nets is equivalent, but with reconfigurable nets we can model easily and directly systems that change its structure dynamically. The change of configuration amounts to the ...
متن کاملComputing Behavioral Relations for Probabilistic Concurrent Systems
Behavioral equivalences and preorders are fundamental notions to formalize indistinguishability of transition systems and provide means to abstraction and refinement. We survey a collection of models used to represent concurrent probabilistic real systems, the behavioral equivalences and preorders they are equipped with and the corresponding decision algorithms. These algorithms follow the stan...
متن کاملInformation Fusion on Concurrent Computing Systems
Detecting and responding to critical states in the environment has become increasingly important in dealing with man-made and natural crises. The state of the extended environment includes data from geographically dispersed sites and of various forms—numerical, textual, visual. This data comes from multiple sources such as databases, news sources and Web services, and has varying degrees of acc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 2011
ISSN: 0898-1221
DOI: 10.1016/j.camwa.2011.01.008